xen/arm: move and rename is_vcpu_running function to sched.h
authorVijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
Wed, 9 Jul 2014 04:56:16 +0000 (10:26 +0530)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 10 Jul 2014 12:42:53 +0000 (13:42 +0100)
commit28432b536c5161b09c4171647e1a15c5b3518ed3
tree0241364fad81f363ef5e4ee16072dbf5021d79cd
parentce3fd13bea454f158dbfabcc95c91c77a6bd940b
xen/arm: move and rename is_vcpu_running function to sched.h

is_vcpu_running function in vgic driver is generic. So move
this to sched.h and rename it as is_vcpu_online

Signed-off-by: Vijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
CC: jbeulich@suse.com
CC: keir@xen.org
CC: george.dunlap@citrix.com
xen/arch/arm/vgic.c
xen/include/xen/sched.h